11:15
- 11:30
信号時相論理仕様付きクープマン・モデル予測制御の温水供給システムへの適用
Koopman-Model Predictive Control with Signal Temporal Logic Specifications and Its Application to a Warm Water Supply System